Towards Category Theory Foundations for Model Management

The paper aims to demonstrate that category theory (CT) methods are appropriate in the model management context. We show that CT naturally appears on stage, when we model such basic constructs as model merge and parallel composition accurately and consistently. We present categorical constructs in a tutorial-like style by applying them to simple labeled transition systems (LTSs), and reveal new technical aspects of merging and composing LTSs.